<?php

require_once 'setenv.php';
require_once "$mediawikipath/profileinfo.php";
